Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
971	A Technique for Analyzing the Effects of Changes in Formal Specifications Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-12-18 20:03:24 Predicate logic Propositional calculus Semantics Model theory First-order logic Cross-linked polyethylene Function Predicate Propositional formula Logic Mathematical logic Mathematics
972	Connotation Description of Terms and Corresponding Automatic Method Add to Reading List Source URL: www.iskouk.org Language: English - Date: 2009-06-09 09:56:17 Philosophical logic Philosophy of language Logic Semantics Pragmatics Semantic primes Word Sense and reference Chinese characters Linguistics Meaning Analytic philosophy
973	Natural Logic for Textual Inference Bill MacCartney Stanford University [removed] Abstract Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-05-06 21:18:00 Monotonicity of entailment Entailment Inference First-order logic Formal semantics Monotonic function Argument Semantic reasoner Logic Logical consequence Textual entailment
974	NATURAL LANGUAGE INFERENCE A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2009-06-05 13:28:45 Textual entailment Entailment Monotonicity of entailment Formal semantics Inference Implicature Argument Logic Logical consequence Science
975	Unsupervised Relation Discovery with Sense Disambiguation Limin Yao Sebastian Riedel Andrew McCallum Department of Computer Science Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2012-07-26 18:14:09 Semantics Lexical semantics Natural language processing Logic Statistical natural language processing Word-sense disambiguation Hierarchical clustering Finitary relation Sense and reference Linguistics Science Computational linguistics
976	Aligning semantic graphs for textual inference and machine reading Marie-Catherine de Marneffe, Trond Grenager, Bill MacCartney, Daniel Cer, Daniel Ramage, Chlo´e Kiddon, Christopher D. Manning {mcdm, grenager, wcmac, c Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2006-10-09 13:21:20 Textual entailment WordNet Semantics Entailment Bitext word alignment Inference Monotonicity of entailment First-order logic Knowledge representation and reasoning Logic Science Logical consequence
977	Weakly Supervised Learning of Semantic Parsers for Mapping Instructions to Actions Yoav Artzi and Luke Zettlemoyer Computer Science & Engineering University of Washington Seattle, WA 98195 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-04-09 19:51:28 Semantics Predicate logic Formal languages Model theory Computational linguistics First-order logic Parsing Combinatory categorial grammar Combinatory logic Logic Mathematics Mathematical logic
978	Solving Logic Puzzles: From Robust Processing to Precise Semantics Iddo Lev,∗ Bill MacCartney,∗ Christopher D. Manning,∗† and Roger Levy† ∗ Department of Computer Science Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2004-05-23 19:03:12 Computational linguistics Philosophical logic Predicate logic Metalogic First-order logic Natural language processing Computational semantics Mathematical logic Well-formed formula Logic Science Semantics
979	[removed]Days [ 6.L.04] Determine or clarify the meaning of unknown and multiple-meaning words or phrases based on grade 6 reading and content, choosing flexibly from a range of strategies. a. Use context (e.g., th Add to Reading List Source URL: www.chinleusd.k12.az.us Language: English - Date: 2014-10-01 15:55:07 Orthography Philosophy of language Lexical semantics Figure of speech Literal and figurative language Meaning Capitalization Reading Word sense Linguistics Semantics Philosophical logic
980	Computational Semantics in the Natural Language Toolkit Ewan Klein School of Informatics University of Edinburgh Scotland, UK [removed] Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-11-21 07:43:16 Model theory Predicate logic Semantics Quantification Philosophical logic First-order logic Interpretation Lambda calculus Function Logic Mathematical logic Mathematics

UPDATE